[IA64] Fix a bug in vmx_vcpu_pta
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 14 Jun 2006 22:05:43 +0000 (16:05 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 14 Jun 2006 22:05:43 +0000 (16:05 -0600)
commit4b6684a083c949ffe05f8417b80b1f6eb8d8c8f8
tree73d004cb1323b25730ca7925fb0107a61c870fa3
parent2f34410a2229b931e5a870bf24b538597c977877
[IA64] Fix a bug in vmx_vcpu_pta

Signed-off-by: Anthony Xu <anthony.xu@intel.com>
xen/arch/ia64/vmx/vmmu.c